Problems with tag de Bruijn sequences

;